정보과학회 논문지 C : 컴퓨팅의 실제
Current Result Document :
| 한글제목(Korean Title) |
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 |
| 영문제목(English Title) |
Comparison of Search Strategies of KLEE Concolic Testing Tool |
| 저자(Author) |
김영주
김문주
김윤호
정의준
YoungJoo Kim
Moonzoo Kim
Yunho Kim
Uijune Jung
|
| 원문수록처(Citation) |
VOL 18 NO. 04 PP. 0321 ~ 0325 (2012. 04) |
한글내용
(Korean Abstract) |
테스트 케이스 자동생성기법인 Concolic (concrete+symbolic) 테스팅 기법을 사용하는 테스팅 도구인 KLEE의 심볼릭 state를 스케줄링하는 탐색 방법(search strategy)들의 분기 커버리지 성능을 비교 분석했다. 또한 분기 커버리지를 보다 빠르게 높일 수 있는 breadth first search(BFS)를 새롭게 구현해 기존 방법들과 비교했다. 본 실험에서는 GNU Coreutils 버전 8.9를 대상으로, 주어진 시간에 각 탐색 방법들이 달성하는 분기 커버리지(branch coverage)를 비교하고 결과를 분석했다.
|
영문내용
(English Abstract) |
Concolic (Concrete symbolic) testing is an automated test case generation technique that works on target source code. This paper analyzes the branch coverage performances of the search strategies of a Concolic testing tool KLEE. In addition, we implemented the breadth first search (BFS) strategy to get higher branch coverage in KLEE. To compare the effectiveness of the search strategies, we applied KLEE to GNU Coreutils version 8.9 and compared the branch coverage of these search strategies and analyze their results.
|
| 키워드(Keyword) |
Concolic 테스팅
동적 심볼릭 수행
KLEE
탐색 방법
Breadth First Search
Concolic Testing
Dynamic Symbolic Execution
Search Strategy
|
| 파일첨부 |
PDF 다운로드
|
